Perversely simple validity problem, to use with translation. 

((P \/ P) /\ Q)
---
:. (P \/ (P /\ Q)).


It's just: (P /\ Q) :. P

(The converse inference is invalid.)


Either Suki's hungry, or both she and Neko are hungry.
-----
:. Suki's either hungry or hungry, and Neko's hungry too.

Illustrates the importance of parentheses.


Another example:

Either Barbie's celebrating Rex's birthday, or she's doing so without giving him a bowling shirt.
----
:. Barbie's either celebrating Rex's birthday or celebrating his birthday, but she's not giving him a bowling shirt.

